Overture Tool
公式ページ:
Overture Tool Formal Modelling in VDM
VDM++
等を扱うための統合開発環境(IDE)？
Visual Studio Code
でvdm-vscodeをインストールして使う
GitHub - overturetool/vdm-vscode: Visual Studio Code extension for VDM language support
確認用
Q. Overture tool
#VDM
#形式手法